Nuprl Definition : rfunction def
13,42
postcript
pdf
{
x
|
y
:
A
B
(
x
;
y
)} is Primitive
latex
Up
core
1
,
core
1
FDL editor aliases
rfun
origin
B(x;y)} is Primitive B(x;y)} is Primitive